sin(pi/4) =

0.7071